3.6.19 \(\int \frac {\sqrt {a+b x^2} (A+B x^2)}{x^{10}} \, dx\) [519]

3.6.19.1 Optimal result
3.6.19.2 Mathematica [A] (verified)
3.6.19.3 Rubi [A] (verified)
3.6.19.4 Maple [A] (verified)
3.6.19.5 Fricas [A] (verification not implemented)
3.6.19.6 Sympy [B] (verification not implemented)
3.6.19.7 Maxima [A] (verification not implemented)
3.6.19.8 Giac [B] (verification not implemented)
3.6.19.9 Mupad [B] (verification not implemented)

3.6.19.1 Optimal result

Integrand size = 22, antiderivative size = 117 \[ \int \frac {\sqrt {a+b x^2} \left (A+B x^2\right )}{x^{10}} \, dx=-\frac {A \left (a+b x^2\right )^{3/2}}{9 a x^9}+\frac {(2 A b-3 a B) \left (a+b x^2\right )^{3/2}}{21 a^2 x^7}-\frac {4 b (2 A b-3 a B) \left (a+b x^2\right )^{3/2}}{105 a^3 x^5}+\frac {8 b^2 (2 A b-3 a B) \left (a+b x^2\right )^{3/2}}{315 a^4 x^3} \]

output
-1/9*A*(b*x^2+a)^(3/2)/a/x^9+1/21*(2*A*b-3*B*a)*(b*x^2+a)^(3/2)/a^2/x^7-4/ 
105*b*(2*A*b-3*B*a)*(b*x^2+a)^(3/2)/a^3/x^5+8/315*b^2*(2*A*b-3*B*a)*(b*x^2 
+a)^(3/2)/a^4/x^3
 
3.6.19.2 Mathematica [A] (verified)

Time = 0.14 (sec) , antiderivative size = 81, normalized size of antiderivative = 0.69 \[ \int \frac {\sqrt {a+b x^2} \left (A+B x^2\right )}{x^{10}} \, dx=\frac {\left (a+b x^2\right )^{3/2} \left (16 A b^3 x^6-24 a b^2 x^4 \left (A+B x^2\right )+6 a^2 b x^2 \left (5 A+6 B x^2\right )-5 a^3 \left (7 A+9 B x^2\right )\right )}{315 a^4 x^9} \]

input
Integrate[(Sqrt[a + b*x^2]*(A + B*x^2))/x^10,x]
 
output
((a + b*x^2)^(3/2)*(16*A*b^3*x^6 - 24*a*b^2*x^4*(A + B*x^2) + 6*a^2*b*x^2* 
(5*A + 6*B*x^2) - 5*a^3*(7*A + 9*B*x^2)))/(315*a^4*x^9)
 
3.6.19.3 Rubi [A] (verified)

Time = 0.21 (sec) , antiderivative size = 113, normalized size of antiderivative = 0.97, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.182, Rules used = {359, 245, 245, 242}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\sqrt {a+b x^2} \left (A+B x^2\right )}{x^{10}} \, dx\)

\(\Big \downarrow \) 359

\(\displaystyle -\frac {(2 A b-3 a B) \int \frac {\sqrt {b x^2+a}}{x^8}dx}{3 a}-\frac {A \left (a+b x^2\right )^{3/2}}{9 a x^9}\)

\(\Big \downarrow \) 245

\(\displaystyle -\frac {(2 A b-3 a B) \left (-\frac {4 b \int \frac {\sqrt {b x^2+a}}{x^6}dx}{7 a}-\frac {\left (a+b x^2\right )^{3/2}}{7 a x^7}\right )}{3 a}-\frac {A \left (a+b x^2\right )^{3/2}}{9 a x^9}\)

\(\Big \downarrow \) 245

\(\displaystyle -\frac {(2 A b-3 a B) \left (-\frac {4 b \left (-\frac {2 b \int \frac {\sqrt {b x^2+a}}{x^4}dx}{5 a}-\frac {\left (a+b x^2\right )^{3/2}}{5 a x^5}\right )}{7 a}-\frac {\left (a+b x^2\right )^{3/2}}{7 a x^7}\right )}{3 a}-\frac {A \left (a+b x^2\right )^{3/2}}{9 a x^9}\)

\(\Big \downarrow \) 242

\(\displaystyle -\frac {\left (-\frac {4 b \left (\frac {2 b \left (a+b x^2\right )^{3/2}}{15 a^2 x^3}-\frac {\left (a+b x^2\right )^{3/2}}{5 a x^5}\right )}{7 a}-\frac {\left (a+b x^2\right )^{3/2}}{7 a x^7}\right ) (2 A b-3 a B)}{3 a}-\frac {A \left (a+b x^2\right )^{3/2}}{9 a x^9}\)

input
Int[(Sqrt[a + b*x^2]*(A + B*x^2))/x^10,x]
 
output
-1/9*(A*(a + b*x^2)^(3/2))/(a*x^9) - ((2*A*b - 3*a*B)*(-1/7*(a + b*x^2)^(3 
/2)/(a*x^7) - (4*b*(-1/5*(a + b*x^2)^(3/2)/(a*x^5) + (2*b*(a + b*x^2)^(3/2 
))/(15*a^2*x^3)))/(7*a)))/(3*a)
 

3.6.19.3.1 Defintions of rubi rules used

rule 242
Int[((c_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^2)^(p_), x_Symbol] :> Simp[(c*x)^ 
(m + 1)*((a + b*x^2)^(p + 1)/(a*c*(m + 1))), x] /; FreeQ[{a, b, c, m, p}, x 
] && EqQ[m + 2*p + 3, 0] && NeQ[m, -1]
 

rule 245
Int[(x_)^(m_)*((a_) + (b_.)*(x_)^2)^(p_), x_Symbol] :> Simp[x^(m + 1)*((a + 
 b*x^2)^(p + 1)/(a*(m + 1))), x] - Simp[b*((m + 2*(p + 1) + 1)/(a*(m + 1))) 
   Int[x^(m + 2)*(a + b*x^2)^p, x], x] /; FreeQ[{a, b, m, p}, x] && ILtQ[Si 
mplify[(m + 1)/2 + p + 1], 0] && NeQ[m, -1]
 

rule 359
Int[((e_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^2)^(p_.)*((c_) + (d_.)*(x_)^2), x 
_Symbol] :> Simp[c*(e*x)^(m + 1)*((a + b*x^2)^(p + 1)/(a*e*(m + 1))), x] + 
Simp[(a*d*(m + 1) - b*c*(m + 2*p + 3))/(a*e^2*(m + 1))   Int[(e*x)^(m + 2)* 
(a + b*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e, p}, x] && NeQ[b*c - a*d, 0] 
&& LtQ[m, -1] &&  !ILtQ[p, -1]
 
3.6.19.4 Maple [A] (verified)

Time = 2.87 (sec) , antiderivative size = 73, normalized size of antiderivative = 0.62

method result size
pseudoelliptic \(-\frac {\left (\left (\frac {9 x^{2} B}{7}+A \right ) a^{3}-\frac {6 x^{2} \left (\frac {6 x^{2} B}{5}+A \right ) b \,a^{2}}{7}+\frac {24 b^{2} x^{4} \left (x^{2} B +A \right ) a}{35}-\frac {16 x^{6} b^{3} A}{35}\right ) \left (b \,x^{2}+a \right )^{\frac {3}{2}}}{9 x^{9} a^{4}}\) \(73\)
gosper \(-\frac {\left (b \,x^{2}+a \right )^{\frac {3}{2}} \left (-16 x^{6} b^{3} A +24 x^{6} a \,b^{2} B +24 A a \,b^{2} x^{4}-36 B \,a^{2} b \,x^{4}-30 A \,a^{2} b \,x^{2}+45 B \,a^{3} x^{2}+35 a^{3} A \right )}{315 x^{9} a^{4}}\) \(83\)
trager \(-\frac {\left (-16 A \,b^{4} x^{8}+24 B a \,b^{3} x^{8}+8 A a \,b^{3} x^{6}-12 B \,a^{2} b^{2} x^{6}-6 A \,a^{2} b^{2} x^{4}+9 B \,a^{3} b \,x^{4}+5 A \,a^{3} b \,x^{2}+45 B \,a^{4} x^{2}+35 A \,a^{4}\right ) \sqrt {b \,x^{2}+a}}{315 x^{9} a^{4}}\) \(107\)
risch \(-\frac {\left (-16 A \,b^{4} x^{8}+24 B a \,b^{3} x^{8}+8 A a \,b^{3} x^{6}-12 B \,a^{2} b^{2} x^{6}-6 A \,a^{2} b^{2} x^{4}+9 B \,a^{3} b \,x^{4}+5 A \,a^{3} b \,x^{2}+45 B \,a^{4} x^{2}+35 A \,a^{4}\right ) \sqrt {b \,x^{2}+a}}{315 x^{9} a^{4}}\) \(107\)
default \(B \left (-\frac {\left (b \,x^{2}+a \right )^{\frac {3}{2}}}{7 a \,x^{7}}-\frac {4 b \left (-\frac {\left (b \,x^{2}+a \right )^{\frac {3}{2}}}{5 a \,x^{5}}+\frac {2 b \left (b \,x^{2}+a \right )^{\frac {3}{2}}}{15 a^{2} x^{3}}\right )}{7 a}\right )+A \left (-\frac {\left (b \,x^{2}+a \right )^{\frac {3}{2}}}{9 a \,x^{9}}-\frac {2 b \left (-\frac {\left (b \,x^{2}+a \right )^{\frac {3}{2}}}{7 a \,x^{7}}-\frac {4 b \left (-\frac {\left (b \,x^{2}+a \right )^{\frac {3}{2}}}{5 a \,x^{5}}+\frac {2 b \left (b \,x^{2}+a \right )^{\frac {3}{2}}}{15 a^{2} x^{3}}\right )}{7 a}\right )}{3 a}\right )\) \(150\)

input
int((B*x^2+A)*(b*x^2+a)^(1/2)/x^10,x,method=_RETURNVERBOSE)
 
output
-1/9*((9/7*x^2*B+A)*a^3-6/7*x^2*(6/5*x^2*B+A)*b*a^2+24/35*b^2*x^4*(B*x^2+A 
)*a-16/35*x^6*b^3*A)*(b*x^2+a)^(3/2)/x^9/a^4
 
3.6.19.5 Fricas [A] (verification not implemented)

Time = 0.28 (sec) , antiderivative size = 105, normalized size of antiderivative = 0.90 \[ \int \frac {\sqrt {a+b x^2} \left (A+B x^2\right )}{x^{10}} \, dx=-\frac {{\left (8 \, {\left (3 \, B a b^{3} - 2 \, A b^{4}\right )} x^{8} - 4 \, {\left (3 \, B a^{2} b^{2} - 2 \, A a b^{3}\right )} x^{6} + 35 \, A a^{4} + 3 \, {\left (3 \, B a^{3} b - 2 \, A a^{2} b^{2}\right )} x^{4} + 5 \, {\left (9 \, B a^{4} + A a^{3} b\right )} x^{2}\right )} \sqrt {b x^{2} + a}}{315 \, a^{4} x^{9}} \]

input
integrate((B*x^2+A)*(b*x^2+a)^(1/2)/x^10,x, algorithm="fricas")
 
output
-1/315*(8*(3*B*a*b^3 - 2*A*b^4)*x^8 - 4*(3*B*a^2*b^2 - 2*A*a*b^3)*x^6 + 35 
*A*a^4 + 3*(3*B*a^3*b - 2*A*a^2*b^2)*x^4 + 5*(9*B*a^4 + A*a^3*b)*x^2)*sqrt 
(b*x^2 + a)/(a^4*x^9)
 
3.6.19.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 957 vs. \(2 (112) = 224\).

Time = 1.92 (sec) , antiderivative size = 957, normalized size of antiderivative = 8.18 \[ \int \frac {\sqrt {a+b x^2} \left (A+B x^2\right )}{x^{10}} \, dx=- \frac {35 A a^{7} b^{\frac {19}{2}} \sqrt {\frac {a}{b x^{2}} + 1}}{315 a^{7} b^{9} x^{8} + 945 a^{6} b^{10} x^{10} + 945 a^{5} b^{11} x^{12} + 315 a^{4} b^{12} x^{14}} - \frac {110 A a^{6} b^{\frac {21}{2}} x^{2} \sqrt {\frac {a}{b x^{2}} + 1}}{315 a^{7} b^{9} x^{8} + 945 a^{6} b^{10} x^{10} + 945 a^{5} b^{11} x^{12} + 315 a^{4} b^{12} x^{14}} - \frac {114 A a^{5} b^{\frac {23}{2}} x^{4} \sqrt {\frac {a}{b x^{2}} + 1}}{315 a^{7} b^{9} x^{8} + 945 a^{6} b^{10} x^{10} + 945 a^{5} b^{11} x^{12} + 315 a^{4} b^{12} x^{14}} - \frac {40 A a^{4} b^{\frac {25}{2}} x^{6} \sqrt {\frac {a}{b x^{2}} + 1}}{315 a^{7} b^{9} x^{8} + 945 a^{6} b^{10} x^{10} + 945 a^{5} b^{11} x^{12} + 315 a^{4} b^{12} x^{14}} + \frac {5 A a^{3} b^{\frac {27}{2}} x^{8} \sqrt {\frac {a}{b x^{2}} + 1}}{315 a^{7} b^{9} x^{8} + 945 a^{6} b^{10} x^{10} + 945 a^{5} b^{11} x^{12} + 315 a^{4} b^{12} x^{14}} + \frac {30 A a^{2} b^{\frac {29}{2}} x^{10} \sqrt {\frac {a}{b x^{2}} + 1}}{315 a^{7} b^{9} x^{8} + 945 a^{6} b^{10} x^{10} + 945 a^{5} b^{11} x^{12} + 315 a^{4} b^{12} x^{14}} + \frac {40 A a b^{\frac {31}{2}} x^{12} \sqrt {\frac {a}{b x^{2}} + 1}}{315 a^{7} b^{9} x^{8} + 945 a^{6} b^{10} x^{10} + 945 a^{5} b^{11} x^{12} + 315 a^{4} b^{12} x^{14}} + \frac {16 A b^{\frac {33}{2}} x^{14} \sqrt {\frac {a}{b x^{2}} + 1}}{315 a^{7} b^{9} x^{8} + 945 a^{6} b^{10} x^{10} + 945 a^{5} b^{11} x^{12} + 315 a^{4} b^{12} x^{14}} - \frac {15 B a^{5} b^{\frac {9}{2}} \sqrt {\frac {a}{b x^{2}} + 1}}{105 a^{5} b^{4} x^{6} + 210 a^{4} b^{5} x^{8} + 105 a^{3} b^{6} x^{10}} - \frac {33 B a^{4} b^{\frac {11}{2}} x^{2} \sqrt {\frac {a}{b x^{2}} + 1}}{105 a^{5} b^{4} x^{6} + 210 a^{4} b^{5} x^{8} + 105 a^{3} b^{6} x^{10}} - \frac {17 B a^{3} b^{\frac {13}{2}} x^{4} \sqrt {\frac {a}{b x^{2}} + 1}}{105 a^{5} b^{4} x^{6} + 210 a^{4} b^{5} x^{8} + 105 a^{3} b^{6} x^{10}} - \frac {3 B a^{2} b^{\frac {15}{2}} x^{6} \sqrt {\frac {a}{b x^{2}} + 1}}{105 a^{5} b^{4} x^{6} + 210 a^{4} b^{5} x^{8} + 105 a^{3} b^{6} x^{10}} - \frac {12 B a b^{\frac {17}{2}} x^{8} \sqrt {\frac {a}{b x^{2}} + 1}}{105 a^{5} b^{4} x^{6} + 210 a^{4} b^{5} x^{8} + 105 a^{3} b^{6} x^{10}} - \frac {8 B b^{\frac {19}{2}} x^{10} \sqrt {\frac {a}{b x^{2}} + 1}}{105 a^{5} b^{4} x^{6} + 210 a^{4} b^{5} x^{8} + 105 a^{3} b^{6} x^{10}} \]

input
integrate((B*x**2+A)*(b*x**2+a)**(1/2)/x**10,x)
 
output
-35*A*a**7*b**(19/2)*sqrt(a/(b*x**2) + 1)/(315*a**7*b**9*x**8 + 945*a**6*b 
**10*x**10 + 945*a**5*b**11*x**12 + 315*a**4*b**12*x**14) - 110*A*a**6*b** 
(21/2)*x**2*sqrt(a/(b*x**2) + 1)/(315*a**7*b**9*x**8 + 945*a**6*b**10*x**1 
0 + 945*a**5*b**11*x**12 + 315*a**4*b**12*x**14) - 114*A*a**5*b**(23/2)*x* 
*4*sqrt(a/(b*x**2) + 1)/(315*a**7*b**9*x**8 + 945*a**6*b**10*x**10 + 945*a 
**5*b**11*x**12 + 315*a**4*b**12*x**14) - 40*A*a**4*b**(25/2)*x**6*sqrt(a/ 
(b*x**2) + 1)/(315*a**7*b**9*x**8 + 945*a**6*b**10*x**10 + 945*a**5*b**11* 
x**12 + 315*a**4*b**12*x**14) + 5*A*a**3*b**(27/2)*x**8*sqrt(a/(b*x**2) + 
1)/(315*a**7*b**9*x**8 + 945*a**6*b**10*x**10 + 945*a**5*b**11*x**12 + 315 
*a**4*b**12*x**14) + 30*A*a**2*b**(29/2)*x**10*sqrt(a/(b*x**2) + 1)/(315*a 
**7*b**9*x**8 + 945*a**6*b**10*x**10 + 945*a**5*b**11*x**12 + 315*a**4*b** 
12*x**14) + 40*A*a*b**(31/2)*x**12*sqrt(a/(b*x**2) + 1)/(315*a**7*b**9*x** 
8 + 945*a**6*b**10*x**10 + 945*a**5*b**11*x**12 + 315*a**4*b**12*x**14) + 
16*A*b**(33/2)*x**14*sqrt(a/(b*x**2) + 1)/(315*a**7*b**9*x**8 + 945*a**6*b 
**10*x**10 + 945*a**5*b**11*x**12 + 315*a**4*b**12*x**14) - 15*B*a**5*b**( 
9/2)*sqrt(a/(b*x**2) + 1)/(105*a**5*b**4*x**6 + 210*a**4*b**5*x**8 + 105*a 
**3*b**6*x**10) - 33*B*a**4*b**(11/2)*x**2*sqrt(a/(b*x**2) + 1)/(105*a**5* 
b**4*x**6 + 210*a**4*b**5*x**8 + 105*a**3*b**6*x**10) - 17*B*a**3*b**(13/2 
)*x**4*sqrt(a/(b*x**2) + 1)/(105*a**5*b**4*x**6 + 210*a**4*b**5*x**8 + 105 
*a**3*b**6*x**10) - 3*B*a**2*b**(15/2)*x**6*sqrt(a/(b*x**2) + 1)/(105*a...
 
3.6.19.7 Maxima [A] (verification not implemented)

Time = 0.20 (sec) , antiderivative size = 138, normalized size of antiderivative = 1.18 \[ \int \frac {\sqrt {a+b x^2} \left (A+B x^2\right )}{x^{10}} \, dx=-\frac {8 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} B b^{2}}{105 \, a^{3} x^{3}} + \frac {16 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} A b^{3}}{315 \, a^{4} x^{3}} + \frac {4 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} B b}{35 \, a^{2} x^{5}} - \frac {8 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} A b^{2}}{105 \, a^{3} x^{5}} - \frac {{\left (b x^{2} + a\right )}^{\frac {3}{2}} B}{7 \, a x^{7}} + \frac {2 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} A b}{21 \, a^{2} x^{7}} - \frac {{\left (b x^{2} + a\right )}^{\frac {3}{2}} A}{9 \, a x^{9}} \]

input
integrate((B*x^2+A)*(b*x^2+a)^(1/2)/x^10,x, algorithm="maxima")
 
output
-8/105*(b*x^2 + a)^(3/2)*B*b^2/(a^3*x^3) + 16/315*(b*x^2 + a)^(3/2)*A*b^3/ 
(a^4*x^3) + 4/35*(b*x^2 + a)^(3/2)*B*b/(a^2*x^5) - 8/105*(b*x^2 + a)^(3/2) 
*A*b^2/(a^3*x^5) - 1/7*(b*x^2 + a)^(3/2)*B/(a*x^7) + 2/21*(b*x^2 + a)^(3/2 
)*A*b/(a^2*x^7) - 1/9*(b*x^2 + a)^(3/2)*A/(a*x^9)
 
3.6.19.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 344 vs. \(2 (101) = 202\).

Time = 0.30 (sec) , antiderivative size = 344, normalized size of antiderivative = 2.94 \[ \int \frac {\sqrt {a+b x^2} \left (A+B x^2\right )}{x^{10}} \, dx=\frac {16 \, {\left (210 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{12} B b^{\frac {7}{2}} - 315 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{10} B a b^{\frac {7}{2}} + 630 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{10} A b^{\frac {9}{2}} + 63 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{8} B a^{2} b^{\frac {7}{2}} + 378 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{8} A a b^{\frac {9}{2}} - 42 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{6} B a^{3} b^{\frac {7}{2}} + 168 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{6} A a^{2} b^{\frac {9}{2}} + 108 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{4} B a^{4} b^{\frac {7}{2}} - 72 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{4} A a^{3} b^{\frac {9}{2}} - 27 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} B a^{5} b^{\frac {7}{2}} + 18 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} A a^{4} b^{\frac {9}{2}} + 3 \, B a^{6} b^{\frac {7}{2}} - 2 \, A a^{5} b^{\frac {9}{2}}\right )}}{315 \, {\left ({\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} - a\right )}^{9}} \]

input
integrate((B*x^2+A)*(b*x^2+a)^(1/2)/x^10,x, algorithm="giac")
 
output
16/315*(210*(sqrt(b)*x - sqrt(b*x^2 + a))^12*B*b^(7/2) - 315*(sqrt(b)*x - 
sqrt(b*x^2 + a))^10*B*a*b^(7/2) + 630*(sqrt(b)*x - sqrt(b*x^2 + a))^10*A*b 
^(9/2) + 63*(sqrt(b)*x - sqrt(b*x^2 + a))^8*B*a^2*b^(7/2) + 378*(sqrt(b)*x 
 - sqrt(b*x^2 + a))^8*A*a*b^(9/2) - 42*(sqrt(b)*x - sqrt(b*x^2 + a))^6*B*a 
^3*b^(7/2) + 168*(sqrt(b)*x - sqrt(b*x^2 + a))^6*A*a^2*b^(9/2) + 108*(sqrt 
(b)*x - sqrt(b*x^2 + a))^4*B*a^4*b^(7/2) - 72*(sqrt(b)*x - sqrt(b*x^2 + a) 
)^4*A*a^3*b^(9/2) - 27*(sqrt(b)*x - sqrt(b*x^2 + a))^2*B*a^5*b^(7/2) + 18* 
(sqrt(b)*x - sqrt(b*x^2 + a))^2*A*a^4*b^(9/2) + 3*B*a^6*b^(7/2) - 2*A*a^5* 
b^(9/2))/((sqrt(b)*x - sqrt(b*x^2 + a))^2 - a)^9
 
3.6.19.9 Mupad [B] (verification not implemented)

Time = 5.79 (sec) , antiderivative size = 174, normalized size of antiderivative = 1.49 \[ \int \frac {\sqrt {a+b x^2} \left (A+B x^2\right )}{x^{10}} \, dx=\frac {2\,A\,b^2\,\sqrt {b\,x^2+a}}{105\,a^2\,x^5}-\frac {B\,\sqrt {b\,x^2+a}}{7\,x^7}-\frac {A\,b\,\sqrt {b\,x^2+a}}{63\,a\,x^7}-\frac {B\,b\,\sqrt {b\,x^2+a}}{35\,a\,x^5}-\frac {A\,\sqrt {b\,x^2+a}}{9\,x^9}-\frac {8\,A\,b^3\,\sqrt {b\,x^2+a}}{315\,a^3\,x^3}+\frac {16\,A\,b^4\,\sqrt {b\,x^2+a}}{315\,a^4\,x}+\frac {4\,B\,b^2\,\sqrt {b\,x^2+a}}{105\,a^2\,x^3}-\frac {8\,B\,b^3\,\sqrt {b\,x^2+a}}{105\,a^3\,x} \]

input
int(((A + B*x^2)*(a + b*x^2)^(1/2))/x^10,x)
 
output
(2*A*b^2*(a + b*x^2)^(1/2))/(105*a^2*x^5) - (B*(a + b*x^2)^(1/2))/(7*x^7) 
- (A*b*(a + b*x^2)^(1/2))/(63*a*x^7) - (B*b*(a + b*x^2)^(1/2))/(35*a*x^5) 
- (A*(a + b*x^2)^(1/2))/(9*x^9) - (8*A*b^3*(a + b*x^2)^(1/2))/(315*a^3*x^3 
) + (16*A*b^4*(a + b*x^2)^(1/2))/(315*a^4*x) + (4*B*b^2*(a + b*x^2)^(1/2)) 
/(105*a^2*x^3) - (8*B*b^3*(a + b*x^2)^(1/2))/(105*a^3*x)